2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Model Checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Размер книги: 2.13 Mb
Model checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Категория:
Computer science
,
Algorithms
Размер книги: 1.88 Mb
Model checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Размер книги: 3.22 Mb
Languages, from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday
Автор:
Orna Grumberg
, Автор:
Michael Kaminski
, Автор:
Shmuel Katz
, Автор:
Shuly Wintner
Размер книги: 3.72 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007
Автор:
Orna Grumberg
, Автор:
Michael Huth
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 8.60 Mb
Computer Aided Verification, 9 conf., CAV '97
Автор:
Orna Grumberg
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.29 Mb
25 Years of Model Checking
Автор:
Orna Grumberg
, Автор:
Helmut Veith
Категория:
CsLn_
Размер книги: 4.00 Mb
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Автор:
Orna Grumberg
, Автор:
Helmut Veith
Категория:
Computer Science
,
Computer Science
Размер книги: 41.36 Mb
Formal Logical Methods for System Security and Correctness
Автор:
Orna Grumberg
, Автор:
Orna Grumberg
, Автор:
Tobias Nipkow
, Автор:
Christian Pfaller
Категория:
Cs_Computer science
,
CsAl_Algorithms
Размер книги: 1.73 Mb
